Guest editorial: special issue on formal methods in control

Guest Editorial Special Issue: Configuration

Configuration can be defined as the composition of a complex product from instances of a set of component types taking into account restrictions on the compatibility of those component types. For supporting product configuration, different AI approaches are well established as central technologies in industrial configuration systems. However, the wide industrial use of configuration technologie...

Guest Editorial Special Issue on Networked Control Systems

M OTIVATED by the accelerating technological convergence of communications, control, and computing, researchers from a variety of disciplines have become interested in the exciting potential and technological challenges of networked control systems (NCSs). In the broadest terms, these systems are comprised of actuators, sensors, and controllers whose operation is coordinated through some form o...

Guest Editorial: Special Issue on Control of Quantum Mechanical Systems

I T is perhaps not too surprising (at least for a control audience) that “manipulating and controlling things at a small scale” was already a key part of the program that Richard P. Feynman formulated in his 1959 visionary lecture [1] which is commonly recognized as the birth place of Quantum Information. Quoting from [1]: “The principles of Physics as far as I can see do not speak against the ...

Guest Editorial Special Issue on Control of Cyber-Physical Systems

Guest editorial: special issue on electronic voting

T HIS special issue provides representative samples of the excellent research being carried out in electronic voting today—in areas as diverse as statistics, usability, cryptography, formal methods in security and experimental computer security analysis. It is perhaps the first broadly defined special issue of a technical journal in this rapidly growing and important research area. The last few...